Explorer Physical Instantiation and the Propositional Attitudes

نویسنده

  • Paul Schweizer
چکیده

The paper addresses a standard line of criticism of the Computational Theory of Mind (CTM), based on the claim that the notion of realizing a computational formalism is overly liberal to the point of vacuity. I argue that even for interesting and powerful cases, realization is essentially a matter of approximation and degree, and interpreting a physical device as performing a computation is always relative to our purposes and potential epistemic gains. However, while this may fatally undermine a computational explanation of conscious experience, I contend that, contra Putnam and Searle, it does not rule out the possibility of a scientifically defensible account of propositional attitude states in computational terms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Instantiation-Based Automated Reasoning: From Theory to Practice

Instantiation-based automated reasoning aims at combining the efficiency of propositional SAT and SMT technologies with the expressiveness of firstorder logic. Propositional SAT and SMT solvers are probably the most successful reasoners applied to real-world problems, due to extremely efficient propositional methods and optimized implementations. However, the expressiveness of firstorder logic ...

متن کامل

From Tracking Relations to Propositional Attitudes

I explore the possibility that propositional attitudes are not basic in folk psychology, and that what we really ascribe to people are relations to individuals, those that the apparently propositional contents of beliefs, desires, and other states concern. In particular, the relation between a state and the individuals that it tracks shows how ascription of propositional attitudes could grow ou...

متن کامل

System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic

iProver is an instantiation-based theorem prover which is based on Inst-Gen calculus, complete for first-order logic. One of the distinctive features of iProver is a modular combination of instantiation and propositional reasoning. In particular, any state-of-the art SAT solver can be integrated into our framework. iProver incorporates state-of-the-art implementation techniques such as indexing...

متن کامل

A Generalization of Stålmarck's Method

This paper gives an account of St̊almarck’s method for validity checking of propositional-logic formulas, and explains each of the key components in terms of concepts from the field of abstract interpretation. We then use these insights to present a framework for propositional-logic validity-checking algorithms that is parametrized by an abstract domain and operations on that domain. St̊almarck’s...

متن کامل

Measurement-Theoretic Accounts of Propositional Attitudes

In the late 1970s and early 1980s a number of philosophers, notably Churchland, Field, Stalnaker, Dennett, and Davidson, began to argue that propositional attitude predicates (such as believes that it’s sunny outside) are a species of measure predicate, analogous in important ways to numerical predicates by which we attribute physical magnitudes (such as mass, length, and temperature). Other ph...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016